foo : String
foo = """a"""
